win32: remove unused gdk_display_warp_device
authorChristoph Reiter <creiter@src.gnome.org>
Tue, 26 Mar 2019 06:59:01 +0000 (07:59 +0100)
committerChristoph Reiter <creiter@src.gnome.org>
Tue, 26 Mar 2019 06:59:01 +0000 (07:59 +0100)
to fix the build

gdk/win32/gdksurface-win32.c

index d52d099e2ba374524de371bcf63d0ef0e71fab22..f5ce2b357c058207c0b587298b529043535a7cde 100644 (file)
@@ -1953,19 +1953,6 @@ gdk_surface_win32_get_device_state (GdkSurface       *window,
   return (child != NULL);
 }
 
-void
-gdk_display_warp_device (GdkDisplay *display,
-                         GdkDevice  *device,
-                         gint        x,
-                         gint        y)
-{
-  g_return_if_fail (display == gdk_display_get_default ());
-  g_return_if_fail (GDK_IS_DEVICE (device));
-  g_return_if_fail (display == gdk_device_get_display (device));
-
-  GDK_DEVICE_GET_CLASS (device)->warp (device, x, y);
-}
-
 static void
 gdk_win32_surface_set_accept_focus (GdkSurface *window,
                             gboolean accept_focus)